ultimate boundedness

毕竟有界性